all:
	g++ -O3 -Wall bitsySAT.cpp -o bitsy 

clean:
	rm -f bitsy 
